/* test structure assignment*/
struct t2{
	int data;
	struct t2 * t;
};
/*@*/
int main()
{
	struct t2 * test,test1;
	test = alloc (struct t2);
	test->data=2;
	test->t=NULL;
	if (test->t==NULL)
	{
	  print(test->data);
	}
	test1 =alloc(struct t2);
	test->t=test1;
	*test1 = * test;
	if(test1==test1->t)
	{
	  print(test1->data);
	}
	return 0;
}
/*@*/
